Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Parallel processing (Electronic computers) --- Distributed processing --- Congresses --- 681.3*D13 --- 681.3*D33 --- 681.3*F31 --- Concurrent programming --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D13 Concurrent programming --- Electronic data processing - Distributed processing --- Parallel processing (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming. --- Prolog (Computer program language). --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic programming --- Prolog (Computer program language) --- 681.3*I23 --- Computer programming --- Programmation logique --- PROLOG (Langage de programmation) --- Prolog (langage de programmation) --- Prolog (computer language)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. It draws on methods from combinatorial optimisation and artificial intelligence, and has been successfully applied in a number of fields from scheduling, computational biology, finance, electrical engineering and operations research through to numerical analysis. This textbook for upper-division students provides a thorough and structured account of the main aspects of constraint programming. The author provides many worked examples that illustrate the usefulness and versatility of this approach to programming, as well as many exercises throughout the book that illustrate techniques, test skills and extend the text. Pointers to current research, extensive historical and bibliographic notes, and a comprehensive list of references will also be valuable to professionals in computer science and artificial intelligence.

Constraint programming (Computer science). --- Constraint programming (Computer science) --- Computer Science --- Engineering & Applied Sciences --- Computer programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)